Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Review of Jesse Norman, "Edmund Burke: Philosopher, Politician, Prophet" (William Collins, 2013).

The title of the book was chosen due to inspiration from Nietzsche’s famous book ‘Beyond good and Evil’, which has marked an unprecedented turning point in the history of philosophy. Hence, the book titled ‘Beyond Civilization and History’ is intended to outline the politico-historical debate, since the dawn of the 20th century. The discussion in the book will cover pre-modern, modern and post-modern discourse of the history of civilizations. The debate mainly focuses on the modernist and post-modernist historical context especially (...) surrounding the writings of Oswald Spengler, Norman Angell, Arnold J. Toynbee, and Alexander Dugin. (shrink)

The modal account of luck is the predominant account of luck in epistemology and ethics. In the first half of this paper, I discuss three possible interpretations of the modal account and raise objections to each. I then raise an objection to all plausible versions of the modal account, that is, that whether an event is lucky or the extent to which it is a matter of luck will depend on what initial conditions or features of the event one holds (...) constant across nearby possible worlds. However, there is often reasonable disagreement about what the relevant initial conditions of an event are, and the modal account of luck has no means of determining which description of the event is correct. As such, the modal account is subject to a kind of reference class problem, and the view cannot actually tell us the extent to which certain events are a matter of luck. (shrink)

Nicholas Agar, Jeff McMahan and Allen Buchanan have all expressed concerns about enhancing humans far outside the species-typical range. They argue radically enhanced beings will be entitled to greater and more beneficial treatment through an enhanced moral status, or a stronger claim to basic rights. I challenge these claims by first arguing that emerging technologies will likely give the enhanced direct control over their mental states. The lack of control we currently exhibit over our mental lives greatly contributes to our (...) sense of vulnerability. I then argue moral status should be viewed in terms of vulnerability. The enhanced will slowly gain the ability to command their mental states, reducing their vulnerability. These radically enhanced beings will have greater capacities, and possibly an inner life more valuable than our own. They will also be less vulnerable, and as a result, their moral status will be subordinate to our own. (shrink)

Hume once argued the basic science to be not physics but “the science of man” and the foundation of this science to be the empiricist mechanism of association governed by the law of similarity in appearance—now more popular than ever in the form of artificial neural networks. I update Hume’s picture by showing phenomenology to be centrally concerned with providing a unifying basis for all the sciences (including physics) by going beyond the psychology of associationism (passive synthesis) to reveal phenomena (...) that are irreducibly syntactic (not associative) in structure. I therefore argue that the language of thought (LOT) is the necessary mechanism at the basis of these descriptive phenomena. I conclude by sketching a new picture of all the sciences unified by LOT based on Husserl’s opposition to Galilean “physicomathematical” science vis-à-vis the life-world (Lebenswelt). (shrink)

This essay examines the possibility that phenomenological laws might be implemented by a computational mechanism by carefully analyzing key passages from the Prolegomena to Pure Logic. Part I examines the famous Denkmaschine passage as evidence for the view that intuitions of evidence are causally produced by computational means. Part II connects the less famous criticism of Avenarius & Mach on thought-economy with Husserl's 1891 essay 'On the Logic of Signs (Semiotic).' Husserl is shown to reaffirm his earlier opposition to associationist (...) (Humean) and adaptationist (Darwinian) explanations of our thought-machine on the ground that they cannot reconstruct the notion of truth and its syntactic mental preservation in symbolic thought-trains. Part III reveals Husserl's interesting commitment to the idea that descriptive sciences necessarily transform into explanatory sciences on pain of contradicting the essence of science as a rational ideal. Since explanation in relation to phenomenology means causal explanation, and causal explanation in the form of the Denkmaschine accounts for phenomenological intuition, it is inferred that the rationally compelling ideal of explanatory science requires a computationalist reading of the subsequent logical investigations. (shrink)

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. (...) In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist. (shrink)

In the article "What Sin Is: A Differential Analysis," Jesse Couenhoven delves into the definitions and categorizations of sin according to various Christian doctrines. The author critically examines traditional definitions, such as those provided by the Westminster Confession and catechisms, and argues that they fail to adequately distinguish between sin and evil, often conflating natural evils with sinful acts. Couenhoven also considers gray areas of ethical behavior, such as the actions of a schizophrenic who curses against God or the (...) mistakes made by medical residents that result in harm to patients, and questions whether these actions should be classified as sin. The primary question driving the article is how sin is differentiated from that which is "merely" evil. To address this, Couenhoven analyzes and evaluates three views of sin, testing their coherence with Christian beliefs and practices. The article aims to provide a more nuanced and sufficient understanding of sin within the Christian tradition, going beyond the necessary elements of the doctrine of sin to better identify and differentiate sin from evil. (shrink)

We analyse Hutto & Myin's three arguments against computationalism [Hutto, D., E. Myin, A. Peeters, and F. Zahnoun. Forthcoming. “The Cognitive Basis of Computation: Putting Computation In Its Place.” In The Routledge Handbook of the Computational Mind, edited by M. Sprevak, and M. Colombo. London: Routledge.; Hutto, D., and E. Myin. 2012. Radicalizing Enactivism: Basic Minds Without Content. Cambridge, MA: MIT Press; Hutto, D., and E. Myin. 2017. Evolving Enactivism: Basic Minds Meet Content. Cambridge, MA: MIT Press]. The Hard Problem (...) of Content targets computationalism that relies on semantic notion of computation, claiming that it cannot account for the natural origins of content. The Intentionality Problem is targeted against computationalism using non-semantic accounts of computation, arguing that it fails in explaining intentionality. Theion Problem claims that causal interaction between concrete physical processes and abstract computational properties is problematic. We argue that these a... (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

Yoshimi has attempted to defuse my argument concerning the identification of network abstraction with empiricist abstraction - thus entailing psychologism - by claiming that the argument does not generalize from the example of simple feed-forward networks. I show that the particular details of networks are logically irrelevant to the nature of the abstractive process they employ. This is ultimately because deep artificial neural networks (ANNs) and dynamical systems theory applied to the mind (DST) are both associationisms - that is, empiricist (...) theories that derive the principles of thought from the causal history of the organism/system. On this basis, I put forward a new aspect of the old argument by noting that ANNs & DST are the causal bases of the phenomena of passive synthesis, whereas the language of thought hypothesis (LOT) and the symbolic computational theory of mind (CTM) are the causal bases of the phenomena of active synthesis. If the phenomena of active synthesis are not distinct in kind from and are thus reducible to those of passive synthesis, psychologism results. Yoshimi’s program, insofar as it denies this fundamental phenomenological distinction, is revealed to be the true anti-pluralist program, by essentially denying the causal efficacy of the mechanistic foundations of active synthesis by referring phenomenology exclusively to associationism for its causal foundation. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

In this paper I develop an argument against applying a causal theory of mental content to normative concepts. This argument—which I call the Intrapersonal Normative Twin Earth Argument—is inspired by Terry Horgan and Mark Timmons’ Moral Twin Earth Argument. The focus of Horgan and Timmons’ argument is showing that causal theories of mental content conflict with plausible claims about interpersonal normative disagreement. The Intrapersonal Normative Twin Earth Argument, by contrast, is focused on showing that such theories struggle to vindicate plausible (...) claims concerning whether two of an agent’s token normative thoughts have the same or distinct content. (shrink)

In this paper I develop an argument against a type of Non-Analytic Normative Naturalism. This argument, the Normative Property Dualism Argument, suggests that, if Non-Analytic Normative Naturalists posit that normative properties are identical to natural properties and that such identities are a posteriori, they will be forced to posit that these properties which are both normative and natural have higher-order normative properties of their own.

In response to Petitmengin and Bitbol's recent account of first-person methodologies in the study of consciousness, I provide a revised model of our introspective knowledge of our own conscious experience. This model, which I call the existential constitution model of phenomenal knowledge, avoids the problems that Petitmengin and Bitbol identify with standard observational models of introspection while also avoiding an underlying metaphorical misconception in their own proximity model, which misconstrues first-person knowledge of consciousness in terms of a dichotomous epistemic relationship. (...) The end result is a clearer understanding of the unique nature and epistemic properties of our knowledge of consciousness, as well as the epistemic status of subsequent first-person reports on conscious experience. (shrink)

It has become easy to make a case for the relevance, richness, and importance of philosophical thinking for information research and practice. [Introduction to a special issue].

The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order to (1) (...) achieve concepts, and (2) represent objects, as opposed to “half-entities” corresponding to similarity amalgams (Quine, Quintessence, Cambridge, 2004, p. 107). Similarity amalgams are also called “approximate meaning[s]” (Marcus & Davis, Rebooting AI, Pantheon, 2019, p. 132). Although Husserl inferred the “complete abandonment of the empiricist theory of abstraction” (a fortiori deep CNNs) due to the infinite regress and circularity arguments examined in this paper, I argue that the statistical learning of deep CNNs may be incorporated into a Fodorian hybrid account that supports Quine’s “sortal predicates, negation, plurals, identity, pronouns, and quantifiers” which are representationally necessary to overcome the regress/circularity in content constitution and achieve objective (as opposed to similarity-subjective) representation (Burge, Origins of Objectivity. Oxford, 2010, p. 238). I base myself initially on Yoshimi’s (New Frontiers in Psychology, 2011) attempt to explain Husserlian phenomenology with neural networks but depart from him due to the arguments and consequently propose a two-system view which converges with Weiskopf’s proposal (“Observational Concepts.” The Conceptual Mind. MIT, 2015. 223–248). (shrink)

Moral metasemantic theories explain how our moral thought and talk are about certain properties. Given the connection between what our moral terms are about and which moral claims are true, it might be thought that metasemantic theorising can justify first-order ethical conclusions, thus providing a novel way of doing moral epistemology. In this paper, we spell out one kind of argument from metasemantic theories to normative ethical conclusions, and argue that it fails to transmit justification from premises to conclusion. We (...) give three reasons for this transmission failure, which together pose a serious challenge to such metasemantic arguments. (shrink)

It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...) the Fregean nexus, as it is defined by Frege’s atemporal understanding of predication. In particular, I show that the tense-logical understanding of tense which is treated as common ground in the debate rests on this very same Fregean nexus, and is thus inadequate for a proper definition of presentism. I contrast the Fregean nexus with what I call the original temporal nexus, which is based on an alternative, inherently temporal form of predication. Finally, I propose to define presentism in terms of the original temporal nexus, yielding original presentism. According to original presentism, temporal propositions are distinguished from atemporal ones not by aspects of their content, as they are on views based on the Fregean nexus, but by their form—in particular, by their form of predication. (shrink)

This paper demonstrates the practical and philosophical strengths of adopting Luciano Floridi’s “general definition of information” (GDI) for use in the information sciences (IS). Many definitions of information have been proposed, but little work has been done to determine which definitions are most coherent or useful. Consequently, doubts have been cast on the necessity and possibility of finding a definition. In response to these doubts, the paper shows how items and events central to IS are adequately described by Floridi’s conception (...) of information, and demonstrates how it helps clarify the muddy theoretical framework resulting from the many previous definitions. To this end, it analyzes definitions, popular in IS, that conceive of information as energy, processes, knowledge, and physical objects. The paper finds that each of these definitions produces problematic or counterintuitive implications that the GDI suitably accounts for. It discusses the role of truth in IS, notes why the GDI is preferable to its truth-requiring variant, and ends with comments about the import of such a theory for IS research and practice. (shrink)

Some feminists hold that surrogacy contracts should be unenforceable or illegal because they contribute to and perpetuate unjust gender inequalities. I argue that in developed countries, surrogacy contracts either wouldn't have these negative effects or that these effects could be mitigated via regulation. Furthermore, the existence of a regulated surrogacy market is preferable on consequentialist grounds.

I argue that pragmatic considerations explain puzzling epistemic modal disagreement cases. In particular, I claim that there are two different types of information sources involved in epistemically modalized propositions. One information source is a first-person epistemic state, or a group of epistemic states; another is a third-person, external source of information. This distinction helps make sense of felicitous and infelicitous responses in epistemic modal disagreement cases, which I go through in some detail.

Chalmers, responding to Braun, continues arguments from Chalmers for the conclusion that Bayesian considerations favor the Fregean in the debate over the objects of belief in Frege’s puzzle. This short paper gets to the heart of the disagreement over whether Bayesian considerations can tell us anything about Frege’s puzzle and answers, no, they cannot.

In this short paper, we show that a popular view in information science, information-as-thing, fails to account for a common example of information that seems physical. We then demonstrate how the distinction between types and tokens, recently used to analyse Shannon information, can account for this same example by viewing information as abstract, and discuss existing definitions of information that are consistent with this approach. -/- Dans ce court article nous montrons qu'une vision populaire en sciences de l'information, l'information en (...) tant qu’une chose, échoue à rendre compte d'un exemple commun d'information qui semble physique. Nous démontrons ensuite comment la distinction type/token, utilisée récemment pour analyser l'information de Shannon, peut rendre compte de ce même exemple en considérant l'information comme abstraite, et nous discutons des définitions existantes de l’information qui sont compatibles avec cette approche. (shrink)

In this paper I argue against Analytic Normative Naturalism by suggesting that the view cannot capture the way that normative concepts figure in advice. To establish this conclusion, I identify several links between normative concepts and advice and argue that, if Analytic Normative Naturalism were true, these links would not obtain.

In this position paper for the 2019 CSCW workshop Good Systems: Ethical AI for CSCW I propose one tool and one idea for navigating the complex ethical problem space that results from the interaction of human and/or AI agents in shared, hopefully cooperative, computing environments.

Epistemic accounts of luck define luck’s chanciness condition relative to a subject’s epistemic position. This could be put in terms of a subject’s evidence or knowledge about whether the event will occur. I argue that both versions of the epistemic account fail. In §2, I give two types of counterexamples to the evidence-based approach. In §3, I argue—contrary to the knowledge-based view—that an event can be a matter of good or bad luck for a subject even if she knows that (...) it will occur. In §4, I argue that epistemic accounts cannot explain some instances of constitutive luck. Because of these problems, luck’s chanciness condition cannot be adequately defined in epistemic terms. (shrink)

This paper takes under consideration a piece by Roger Crisp in which he questions what the problem of moral luck can teach us about COVID-19 lockdown rule-breakers. Taking the position that although such rule-breakers might seem to be new examples of moral luck, Crisp ends up denying the existence of moral luck and argues that moral luck is an outdated notion in so far as it relies on other questionable aspects of morality, that is, retributivist punishment and blame. Although the (...) author agrees with Crisp that pandemic rule-breaker cases are putative examples of resultant moral luck, he proposes that Crisp has misconstrued what moral luck is and the paper examines in detail what he sees as the numerous problems with Crisp’s claims. The author concludes that Crisp’s analysis of pandemic rule-breaking does not shed any new light on the moral luck debate, and the difficult questions of luck, moral responsibility, and desert are not so easily resolved. -/- . (shrink)

This paper constitutes an exploration and evaluation of the so-called ‘linkage argument' in support of the inclusion of a right to subsistence among human rights. While it is uncontroversial that avoiding poverty is hugely important for all humans, the human right to subsistence and other socio-economic human rights are often regarded as social goals rather than genuine rights. The linkage argument aims to show that a commitment to the existence of any human rights at all entails a commitment to the (...) inclusion of a right to subsistence among them. I argue that the linkage argument does not succeed in vindicating the inclusion of a right to subsistence among moral human rights, but I conclude that a modified version of it might support the justification of a legal human right to subsistence. (shrink)

In memoriam of Vernon Venable, American philosopher who for four decades was a master teacher in the history of Western philosophy, author of an important study of Marx, and the seminal spirit in the development and flourishing of the program in philosophy at Vassar College.

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

A novel account of virtue signaling and what makes it bad has recently been offered by Justin Tosi and Brandon Warmke. Despite plausibly vindicating the folk’s conception of virtue signaling as a bad thing, their account has recently been attacked by both Neil Levy and Evan Westra. According to Levy and Westra, virtue signaling actually supports the aims and progress of public moral discourse. In this paper, we rebut these recent defenses of virtue signaling. We suggest that virtue signaling only (...) supports the aims of public moral discourse to the extent it is an instance of a more general phenomenon that we call norm signaling. We then argue that, if anything, virtue signaling will undermine the quality of public moral discourse by undermining the evidence we typically rely on from the testimony and norm signaling of others. Thus, we conclude, not only is virtue signaling not needed, but its epistemological effects warrant its bad reputation. (shrink)

Luck skepticism is the view that no one is ever morally responsible for anything because of the nature and ubiquity of luck. One acclaimed argument in favor of this view is Neil Levy’s luck pincer. The luck pincer holds that all morally significant acts or events involve either present luck, constitutive luck, or both and that present and constitutive luck each negate moral responsibility. Therefore, no one is ever morally responsible for any action or event. I argue that this argument (...) is unsound as both of its premises are false. First, not all morally significant events involve present or constitutive luck. Some morally significant events are non-lucky. Second, present and constitutive luck do not always negate moral responsibility. Luck – independent of ontological concerns – is not as threatening to free will as is often thought. (shrink)

It is often assumed that all lucky events are significant. The thought is that a chancy event such as winning the lottery is lucky for you in part because it affects your interests or well-being. But whether you win an Absurdist Raffle in which there are no prizes, is, intuitively, not a matter of luck. This is because this event—even if chancy—is not significant for any subject. However, a few philosophers have recently claimed not only that luck does not necessarily (...) involve a significance condition but that we should not view luck involving claims in terms of significance. After reviewing the literature on this topic, I argue that lucky events are significant. A significance condition is necessary to distinguish between different kinds of luck: practical, epistemic, and moral. All lucky events are significant and chancy, but they can be significant for subjects in different ways. For example, an event is epistemically lucky for you if it is epistemically significant and chancy, but such events need not affect your practical interests or moral standing. Furthermore, I argue that events that are chancy but not significant should be thought of in terms of chance and not luck. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

Steven Hales and Jennifer Johnson—building off their (2014) work as well as Hales (2015, 2016)—have recently conducted two studies in Philosophical Psychology (2018) that show that there is a relationship between optimism and folk assessments of luck. Hales and Johnson use these results to argue that there is no such thing as luck. Instead, they claim that the concept is highly subjective and a cognitive illusion and that what we are in need of is an error theory. After reviewing Hales (...) and Johnson’s position, I levy four objections against their view. First, they ignore the fact that luck involves a chanciness condition. Second, their standards for what it means to be a useful philosophical theory are too high. Third, their view ignores the fact that there are various accounts of value in the literature and assumes a kind of relativism that few people would be willing to accept. Lastly, their error theory is not supported by the empirical evidence. Because of these problems, Hales and Johnson’s argument is not a serious threat to extant accounts of luck. (shrink)

This paper explores connections between social rights and labour rights within a human rights framework. Social human rights tend to be marginalized both in philosophical debates about human rights and international human rights doctrine and practice. This paper brings social human rights into focus and argues that they play an important though neglected role in shaping the content of labour human rights, in particular the human right to just and favourable conditions of work. The implications for the content of this (...) right are elaborated, and the paper concludes with some reflections on the relevance of social human rights in recent struggles for stable and predictable working hours. (shrink)

One of the main questions Gillian Brock takes up in Justice for People on the Move (2020) is whether it is morally permissible for states to enact migration policies that discriminate on the basis of religion against those who wish to enter. The main focus of her discussion is on the United States context, and, in particular, the so-called ‘Muslim Ban’ enacted by President Donald Trump in 2017. While Brock offers a powerful critique of this policy, I argue that it (...) is insufficient on its own to support her claim that migration policies that discriminate on the basis of religion in general undermine the legitimacy of the states that enact them. I argue that this claim can be supported within her framework by showing that such policies necessarily display disregard for the human rights of existing members of the discriminating state. I conclude with some reflections on the strength of this account of the moral impermissibility of religious discrimination at the border. (shrink)

This book is an attempt "to give a systematic account of the development of plato's theory of knowledge" (page vii). thus it focuses on the dialogues in which epistemological issues come to the fore. these dialogues are "meno", "phaedo", "symposium", "republic", "cratylus", "theastetus", "phaedrus", "timaeus", "sophist", "politicus", "philebus", and "laws". issues discusssed include the theory of recollection, perception, the difference between belief and knowledge, and mathematical knowledge. (staff).

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

In this paper, we analyse how GPS-based navigation systems are transforming some of our intellectual virtues and then suggest two strategies to improve our practices regarding the use of such epistemic tools. We start by outlining the two main approaches in virtue epistemology, namely virtue reliabilism and virtue responsibilism. We then discuss how navigation systems can undermine five epistemic virtues, namely memory, perception, attention, intellectual autonomy, and intellectual carefulness. We end by considering two possible interlinked ways of trying to remedy (...) this situation: [i] redesigning the epistemic tool to improve the epistemic virtues of memory, perception, and attention; and [ii] the cultivation of cognitive diligence for wayfinding tasks scaffolding intellectual autonomy and carefulness. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform a social identity. (...) The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)